#include <cstdio>

int B[1005];

int main() {
	int N, cnt=0;
	scanf("%d", &N);
	for (int i=0; i<N; i++) {
		int a;
		scanf("%d", &a);
		if (!B[a]) cnt++;
		B[a]++;
	}
	printf("%d\n", cnt);
	for (int i=0; i<=1000; i++) {
		if (B[i]) printf("%d ", i);
	}
	printf("\n");
	return 0;
}
